Results for 'Ernst P. Hamm'

1000+ found
Order:
  1. The Axiom of choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  98
    Levinas’s Ethics of Responsibility: limits within the concepts of Proximity and Plurality.Laila Haghbayan - manuscript
    Looking at responsibility within a Lévinasian sense, human beings are firstly seen not in the philosophically traditional sense, of being egocentric, but rather seen as ethical subjects based on “the other” (Lévinas & Hand, 1989). The purpose of this paper is to examine the notion of responsibility as Lévinas conceptualized in the idea that human beings are responsible for not only themselves but for others. Lévinas within “Ethics as First Philosophy” (Lévinas & Hand, 1989) states that before all other forms (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. Preface/Introduction — Hollows of Memory: From Individual Consciousness to Panexperientialism and Beyond.Gregory M. Nixon - 2010 - Journal of Consciousness Exploration and Research 1 (3):213-215.
    Preface/Introduction: The question under discussion is metaphysical and truly elemental. It emerges in two aspects — how did we come to be conscious of our own existence, and, as a deeper corollary, do existence and awareness necessitate each other? I am bold enough to explore these questions and I invite you to come along; I make no claim to have discovered absolute answers. However, I do believe I have created here a compelling interpretation. You’ll have to judge for yourself. -/- (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. European context of Petro Kudriavtsev’s historical-philosophical conception.Liudmyla Pastushenko - 2018 - Наукові Записки Наукма. Філософія Та Релігієзнавство 1:55-64.
    The article analyzes Petro Kudriavtsev’s historical philosophical conception in the context of basic tendencies and reference points of development of historical philosophical science in Europe in 19th – the beginning of 20th cent. For this purpose, the place and significance of reception of European philosophy in the P. Kudriavtsev’s historic philosophical works are identified. Furthermore, the article discusses the complex of philosophical and historical ideas that appeared to be productive for development of Kudriavtsev’s original historical philosophical conception. The latter is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Desenvolvimento Embrionário e Diferenciação Sexual nos Animais Domésticos.Emanuel Isaque Cordeiro da Silva - manuscript
    DESENVOLVIMENTO EMBRIONÁRIO E DIFERENCIAÇÃO SEXUAL -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- 1.1 INTRODUÇÃO O sexo foi definido como a soma das diferenças morfológicas, fisiológicas e psicológicas que distinguem o macho da fêmea permitindo a reprodução sexual e assegurando a continuidade das espécies. Os processos de diferenciação sexual são realizados durante o desenvolvimento embrionário, onde ocorre a proliferação, diferenciação e maturação das células germinativas e primordiais, precursoras (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. História do pensamento social na Alemanha: uma abordagem histórica.Emanuel Isaque Cordeiro da Silva - manuscript
    HISTÓRIA DA SOCIOLOGIA: O DESENVOLVIMENTO DA SOCIOLOGIA I -/- A SOCIOLOGIA NA ALEMANHA -/- -/- HISTORY OF SOCIOLOGY: THE DEVELOPMENT OF SOCIOLOGY I -/- SOCIOLOGY IN GERMANY -/- -/- -/- Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mail's: [email protected] e [email protected]. WhatsApp: (82)9.8143-8399. -/- PREMISSA -/- Na Alemanha, a Sociologia foi profundamente influenciada pela discussão filosófica, histórica e metodológica que se desenvolveu entre o final do século XIX e o início do século XX. Em seus fundamentos encontra-se (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. TRUTH – A Conversation between P F Strawson and Gareth Evans (1973).P. F. Strawson & Gareth Evans - manuscript
    This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Symbol, myth, and culture: essays and lectures of Ernst Cassirer, 1935-1945.Ernst Cassirer - 1979 - New Haven: Yale University Press. Edited by Donald Phillip Verene.
    The concept of philosophy as a philosophical problem.--Critical idealism as a philosophy of culture.--Descartes, Leibniz, and Vico.--Hegel's theory of the State.--The philosophy of history.--Language and art I.--Language and art II.--The educational value of art.--Philosophy and politics.--Judaism and the modern political myths.--The technique of our modern political myths.--Reflections on the concept of group and the theory of perception.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  94
    Gli strati della categoria della possibilità. Il capitolo 18 del Principio Speranza.Ernst Bloch & Chiara Musolino - 2022 - Pisa: Edizioni ETS. Edited by Chiara Musolino. Translated by Chiara Musolino.
    Pubblicato agli inizi degli anni Cinquanta del Novecento da Ernst Bloch (1885-1977), Gli strati della categoria della possibilità diventò in seguito il diciottesimo capitolo del suo Principio speranza. Vi è presentata un’indagine teorica e storica su che cosa sia la possibilità. Da Aristotele a Marx, passando per Averroè, Giordano Bruno e Hegel, lettrici e lettori ripercorreranno le proposte avanzate nella storia della filosofia per affrontare la questione del possibile, fino a scoprire la teoria della possibilità reale. Grazie alla sua (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Kant und die moderne Mathematik. (Mit Bezug auf Bertrand Russells und Louis Couturats Werke über die Prinzipien der Mathematik.).Ernst Cassirer - 1907 - Kant Studien 12 (1-3):1-49.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  11. Hermann Cohen and the renewal of Kantian philosophy.Ernst Cassirer - 1918 - Angelaki 10 (1):95 – 108.
    (2005). Hermann Cohen and the Renewal of Kantian philosophy2. Angelaki: Vol. 10, continental philosophy and the sciences the german traditionissue editor: damian veal, pp. 95-108.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  12. Naturalistic and Humanistic Fundation of Philosophy of Culture: Trans.: K. Chrobak.Ernst Cassirer - 2011 - Archiwum Historii Filozofii I Myśli Społecznej 56.
    In this essay Ernst Cassirer addresses two currents of the philosophical reflection about man and culture that emerged at the end of the 18th century. Th e naturalistic one, conceives of man and culture as an outcome of the processes that takes place beyond the reach of human will and consciousness. Among such naturalistically oriented philosophies Cassirer includes Hegel’s idealism, Taine’s positivism and Spengler’s psychologism. All of them imply a characteristic kind of historical fatalism. In opposition to such a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Ceticismo e naturalismo: algumas variedades.P. F. Strawson & Jaimir Conte - 2008 - São Leopoldo, RS, Brasil: Editora da Unisinos.
    Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Realism, Instrumentalism, Particularism: A Middle Path Forward in the Scientific Realism Debate.P. Kyle Stanford - 2021 - In Timothy D. Lyons & Peter Vickers (eds.), Contemporary Scientific Realism: The Challenge From the History of Science. New York, NY: Oxford University Press.
    I've previously suggested that the historical evidence used to challenge scientific realism should lead us to embrace what I call Uniformitarianism, but many recently influential forms of scientific realism seem happy to share this commitment. I trace a number of further points of common ground that collectively constitute an appealing Middle Path between classical forms of realism and instrumentalism, and I suggest that many contemporary realists and instrumentalists have already become fellow travelers on this Middle Path without recognizing how far (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Separata temática: cuatro ensayos de antropología filosófica.Ernst Tugendhat - 2006 - Estudios de Filosofía (Universidad de Antioquia) 34:231-244.
    En una conferencia sobre el Tercer Sector en Cartagena, Daniel Pecaut afirmó: “Lo que le falta a Colombia más que un “mito fundacional” es un relato nacional ”. Se refería a un relato que posibilite a los colombianos de todas las clases, razas, etnias y regiones, ubicar sus experiencias cotidianas en una mínima trama compartida de duelos y de logros.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  63
    Scruton and Wright on Anti-Realism Etc.P. F. Strawson - 1977 - Proceedings of the Aristotelian Society 77:15 - 21.
    P. F. Strawson; II*—Scruton and Wright on Anti-Realism Etc., Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 15–22, https://doi.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  17. New Foundations for Imperative Logic: Pure Imperative Inference.P. B. M. Vranas - 2011 - Mind 120 (478):369-446.
    Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  18. Kants Auffassung von der Bibel.Ernst Sänger - 1906 - Kant Studien 11 (1-3):382-389.
    Download  
     
    Export citation  
     
    Bookmark  
  19. De l’éthique à la justice. Langage et politique dans la philosophie de Lévinas.Ernst Wolff - 2007 - Dortrecht: Springer.
    Emmanuel Lévinas est le philosophe de la non-indifférence; il n’est en aucune sorte un philosophe indifférent. Son inquiétude personnelle et engagement politique ont trouvé une expression philosophique dans une quête à deux versants. Dans le versant ontologique, il cherche à montrer que même si l’homme est l’événement de compréhension de l’être, tout l’homme et toute signification ne se réduisent pas à la compréhension de l’être seul. Dans le versant politique, il s’interroge sur la possibilité de soumettre la tendance totalitaire de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Personal Identity.David Shoemaker & Kevin P. Tobia - 2022 - In Manuel Vargas & John Doris (eds.), The Oxford Handbook of Moral Psychology. Oxford, U.K.: Oxford University Press.
    Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  21. Water is and is not H 2 O.Kevin P. Tobia, George E. Newman & Joshua Knobe - 2019 - Mind and Language 35 (2):183-208.
    The Twin Earth thought experiment invites us to consider a liquid that has all of the superficial properties associated with water (clear, potable, etc.) but has entirely different deeper causal properties (composed of “XYZ” rather than of H2O). Although this thought experiment was originally introduced to illuminate questions in the theory of reference, it has also played a crucial role in empirically informed debates within the philosophy of psychology about people’s ordinary natural kind concepts. Those debates have sought to accommodate (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  22.  68
    BAB 1: RENCANA YANG SEMPURNA.Quan-Hoang Vuong & Sari N. P. W. P. - 2024 - The Kingfisher Story Collection (Indonesian Translation). Translated by Ni Putu Wulan Purnama Sari.
    Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Concinnated quantum gravity papers 3.P. Merriam & M. A. Z. Habeeb - manuscript
    The first purpose of this series of articles is to introduce case studies on how current AI models can be used in the development of a possible theory of quantum gravity, their limitations, and the role the researcher has in steering the development in the right direction, even highlighting the errors, weaknesses and strengths of the whole process. -/- The second is to introduce the new Presentist Fragmentalist ontology as a framework and use it for developing theories of quantum gravity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  69
    The Theory of Everything consistent with the PF interpretation of quantum mechanics.P. Merriam & M. A. Z. Habeeb - manuscript
    This paper give the first foray into the development of a Theory of Everything that is consistent with the PF interpretation of quantum mechanics.
    Download  
     
    Export citation  
     
    Bookmark  
  25.  70
    A Theory of Everything consistent with the PF interpretation of Quantum Mechanics.P. Merriam - manuscript
    This paper appears to give a Theory of Everything.
    Download  
     
    Export citation  
     
    Bookmark  
  26.  38
    Simulating Termination Analyzer H is Not Fooled by Pathological Input P.P. Olcott - manuscript
    The notion of a simulating termination analyzer is examined at the concrete level of pairs of C functions. This is similar to AProVE: Non-Termination Witnesses for C Programs. The termination status decision is made on the basis of the dynamic behavior of the input. This paper explores what happens when a simulating termination analyzer is applied to an input that calls itself.
    Download  
     
    Export citation  
     
    Bookmark  
  27. The Mathematical Basis of Creation in Hinduism.Mukundan P. R. - 2022 - In The Modi-God Dialogues: Spirituality for a New World Order. New Delhi: Akansha Publishing House. pp. 6-14.
    The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Scientific enquiry and natural kinds: from planets to mallards.P. D. Magnus - 2012 - New York, NY: Palgrave-Macmillan.
    Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  29. The Cosmic Egg and Human Evolution.Mukundan P. R. - manuscript
    A woman and a man desire to come together stirred by the primal fire of Kama and the man deposits his egg in the womb of the woman. This egg develops into a human undergoing nine or ten months of evolution. This process is the microscopic replication of the method evolved by God to create the universe. Rigveda (10.121) mentions Hiranyagarbha, the Golden Egg as the source of the creation of the universe. It is said that God, wishing to create (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Morphological and morphometrical study of umbilical cord of new born babies.P. Lasker Shamima, Md Harun-Ar- Rashid, Manzare Shamim Khondker & Lutfun Nessa - 2002 - Bangladesh Journal of Obstetrics and Gynaecology 17 (2):48-51.
    Morphological and morphometric study of umbilical cord of 50 newborn babies were carried out during January to December 1998 at Bangabandhu Sheikh Mujib Medical University, Dhaka to expand the knowledge of gross anatomy of the umbilical cord of Bangladesh. The length of the cords irrespective of sex was ranged from 28 to 93 cm with a mean (±SD) of 55.6 (±10.78).The length of the umbilical cord of male was significantly longer than female (P<0.001). The diameter of the cord irrespective of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Question of African Philosophy.P. O. Bodunrin - 1981 - Philosophy 56 (216):161 - 179.
    Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  32. El contenido mental no-conceptual y la experiencia perceptual espacial.John Anderson P.-Duarte & Alejandro Murillo - 2011 - Revista Colombiana de Filosofía de la Ciencia 11 (23):7-28.
    Nuestro interés en el contenido mental no-conceptual es, principalmente, la articulación de una versión sustantiva (no-trivial) de esta clase de contenido en la experiencia perceptual. El debate acerca del contenido no-conceptual ha girado, en su mayor parte, alrededor de su existencia; y los argumentos que se han ofrecido en su favor abogan por una versión no sustantiva según la cual el contenido no-conceptual es aquel que no satisface ciertos requisitos conceptuales. Así, para desarrollar una versión sustantiva del contenido mental no-conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Realist Ennui and the Base Rate Fallacy.P. D. Magnus & Craig Callender - 2004 - Philosophy of Science 71 (3):320-338.
    The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...)
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  34. On Trusting Wikipedia.P. D. Magnus - 2009 - Episteme 6 (1):74-90.
    Given the fact that many people use Wikipedia, we should ask: Can we trust it? The empirical evidence suggests that Wikipedia articles are sometimes quite good but that they vary a great deal. As such, it is wrong to ask for a monolithic verdict on Wikipedia. Interacting with Wikipedia involves assessing where it is likely to be reliable and where not. I identify five strategies that we use to assess claims from other sources and argue that, to a greater of (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  35. 'In Between Believing' and Degrees of Belief.Darrell P. Rowbottom - 2007 - Teorema: International Journal of Philosophy 26 (1):131-137.
    Schwitzgebel (2001) — henceforth 'S' — offers three examples in order to convince us that there are situations in which individuals are neither accurately describable as believing that p or failing to so believe, but are rather in 'in-between states of belief'. He then argues that there are no 'Bayesian' or representational strategies for explicating these, and proposes a dispositional account. I do not have any fundamental objection to the idea that there might be 'in-between states of belief'. What I (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  36. Halting problem undecidability and infinitely nested simulation.P. Olcott - manuscript
    The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. The pathological self-reference of the conventional halting problem proof counter-examples is overcome. The halt status of these examples is correctly determined. A simulating halt decider remains in pure simulation mode until after it determines that its input will never reach its final state. This eliminates the conventional feedback loop where the behavior of the halt decider effects the behavior of its input.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Recurrent Neural Network Based Speech emotion detection using Deep Learning.P. Pavithra - 2022 - Journal of Science Technology and Research (JSTAR) 3 (1):65-77.
    In modern days, person-computer communication systems have gradually penetrated our lives. One of the crucial technologies in person-computer communication systems, Speech Emotion Recognition (SER) technology, permits machines to correctly recognize emotions and greater understand users' intent and human-computer interlinkage. The main objective of the SER is to improve the human-machine interface. It is also used to observe a person's psychological condition by lie detectors. Automatic Speech Emotion Recognition(SER) is vital in the person-computer interface, but SER has challenges for accurate recognition. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. What’s New about the New Induction?P. D. Magnus - 2006 - Synthese 148 (2):295-301.
    The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  39. That Some of Sol Lewitt's Later Wall Drawings Aren't Wall Drawings.P. D. Magnus - 2018 - Contemporary Aesthetics 16 (1).
    Sol LeWitt is probably most famous for wall drawings. They are an extension of work he had done in sculpture and on paper, in which a simple rule specifies permutations and variations of elements. With wall drawings, the rule is given for marks to be made on a wall. We should distinguish these algorithmic works from impossible-to-implement instruction works and works realized by following preparatory sketches. Taking the core feature of a wall drawing to be that it is algorithmic, some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Does religious belief impact philosophical analysis?Kevin P. Tobia - 2016 - Religion, Brain and Behavior 6 (1):56-66.
    One popular conception of natural theology holds that certain purely rational arguments are insulated from empirical inquiry and independently establish conclusions that provide evidence, justification, or proof of God’s existence. Yet, some raise suspicions that philosophers and theologians’ personal religious beliefs inappropriately affect these kinds of arguments. I present an experimental test of whether philosophers and theologians’ argument analysis is influenced by religious commitments. The empirical findings suggest religious belief affects philosophical analysis and offer a challenge to theists and atheists, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Halting problem proofs refuted on the basis of software engineering ?P. Olcott - manuscript
    This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. -/- It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples at the much higher level (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Halting problem undecidability and infinitely nested simulation (V2).P. Olcott - manuscript
    The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Halting problem undecidability and infinitely nested simulation (V3).P. Olcott - manuscript
    By making a slight refinement to the halt status criterion measure that remains consistent with the original a halt decider may be defined that correctly determines the halt status of the conventional halting problem proof counter-examples. This refinement overcomes the pathological self-reference issue that previously prevented halting decidability.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.
    Download  
     
    Export citation  
     
    Bookmark  
  46. Experimental Philosophy and the Philosophical Tradition.Stephen Stich & Kevin P. Tobia - 2016 - In Wesley Buckwalter & Justin Sytsma (eds.), Blackwell Companion to Experimental Philosophy. Malden, MA: Blackwell. pp. 5.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  47. Tarski Undefinability Theorem Succinctly Refuted.P. Olcott - manuscript
    If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Halting problem undecidability and infinitely nested simulation (V5).P. Olcott - manuscript
    This is an explanation of a key new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. -/- To fully understand this paper a software engineer must be an expert in the C programming language, the x86 programming language, exactly how C translates into x86 and what an x86 process emulator is. No knowledge of the halting problem is required.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Deductively Sound Formal Proofs.P. Olcott - manuscript
    Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].
    Download  
     
    Export citation  
     
    Bookmark  
  50. Prolog detects pathological self reference in the Gödel sentence.P. Olcott - manuscript
    This sentence G ↔ ¬(F ⊢ G) and its negation G ↔ ~(F ⊢ ¬G) are shown to meet the conventional definition of incompleteness: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). They meet conventional definition of incompleteness because neither the sentence nor its negation is provable in F (or any other formal system). -- .
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000